extern void platformDependentPersistInt(int);
extern int platformDependentRetrieveInt();