tcSyscallParam (SyscallReturn l v) = do
    v' <- tcVarName False v
    let t = SysT $ SysRet $ typed $ loc v'
    return $ SyscallReturn (Typed l t) v'
tcSyscallParam (SyscallReturn l v) = do
    v' <- tcVarName False v
    let t = SysT $ SysRet $ typed $ loc v'
    return $ SyscallReturn (Typed l t) v'
tcSyscallParam (SyscallReturn l v) = do
    v' <- tcVarName False v
    let t = SysT $ SysRet $ typed $ loc v'
    return $ SyscallReturn (Typed l t) v'