#line 1 "mauke" main = print 7 -- should print 7