path: root/tmp/api.h

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