#include int main(void) { return do_stuff(); }