alloy2/models/commonerrors
