Symbol: ISABELLE_INTF_EN_REG