main() : int { return 42; }