Yes, except for calls to virtual functions, which actually become

  (&x)->vtbl[N](&x, y)