original.name="IntArith_Invalid_4" ====== >>> main.whiley method m(): int x = 1 / 2 * 3 --- E321 main.whiley 2,18