subInt8-upper.mo:1.9-1.35: execution error, arithmetic overflow