And one more. When compiling lv: U8 -> U8 lv = \x => x+1
lv: U8 -> U8
lv = \x => x+1
the compiler output was log2.txt