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