nat-shift.mo:43.35-43.43: warning [M0155], operator may trap for inferred type
  Nat