Undefined behavior: LRL --> C

Some LRL operations will be translated to multiple C operations. This
could make some code have undefined behavior.