test_regfio.c: include stdint.h before cmoka.h