 []
 do =
  (
   Print
   ()
    (
     Format
     ()
      :
       13
       :
        fortytwo
        1

       100

      ''




 fortytwo =
  42

