wonder (about, this: REAL): REAL is
                                               -- wonder what this does?
                          local hero: INTEGER
                          do
                                       hero := about.truncated_to_integer + 4
                                       Result := hero * this
                          end -- wonder

 wonder (1, 2, 3)