#include int main(void) { (void)printf("hello, world\n"); return 0; }