tcSyscallParam (SyscallPushCRef l e) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    let t = SysT $ SysCRef $ typed $ loc e'
    return $ SyscallPushCRef (Typed l t) e'
tcSyscallParam (SyscallPushCRef l e) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    let t = SysT $ SysCRef $ typed $ loc e'
    return $ SyscallPushCRef (Typed l t) e'
tcSyscallParam (SyscallPushCRef l e) = do
    e' <- withExprC ReadWriteExpr $ tcExpr Nothing e
    let t = SysT $ SysCRef $ typed $ loc e'
    return $ SyscallPushCRef (Typed l t) e'