cproof/tests/unittests/test_callbacks.h

void returns_no_commands(void** state);
void returns_commands(void** state);