Fixed type of `IR_conv()`, and finished `IR_lab.c`