#include extern int deep_thought2(void); int main() { printf("%d\n", deep_thought2()); }