legalize-trunc.mir 2.01 KB