cproof/tests/unittests/test_callbacks.h

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