legalize-fcanonicalize.mir 19.9 KB