(print_int(42);
print("\n"))