#include "header.h" void generated_test(void) { }