END { system("rm $TMP_FILE"); } interval:s:1200 { exit(); }