begin
   integerfn twice(integer x)
     result = x+x
   end
   integer j
   j = twice(21)
endofprogram