IF   42
INT(20)   45
THEN   48
INT(3)   53
EOF   54