let answer = 42 in print_int(answer)