let print_return (r: return): string = match r with
          SRet(Int)     ->  "int "
        | SRet(Float)   ->  "float "
        | Void          ->  "void "