. // script for resetting an app's credit and runtime estimation statistics; // use this if these got messed up because of bad FLOPs estimates