working LIR translation of "y=42" and "y=x-1"