TODO: lvalues as memory operands directly reference the lvalue
TODO: bitfield operands