I believe he is taking about the native retuning semantics, which is in a real register for simple types or organised to be on the stack by the caller or regist

I believe he is taking about the native retuning semantics, which is in a real register for simple types or organised to be on the stack by the caller or register frame for a larger value type. Point being, it's a compact primitive reflection of the machine, not much more.