main procedure foo(); var i,b; { let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od; let i <- 1; while i < 4 do let b <- call InputNum(); call OutputNum(b); let i <- i + 1 od }; { call foo() }.