BEGIN { } { num = $1; if(num == 42) exit; else printf("%d\n", num); } END { }