Symbol: ISABELLE_INTF_CFG_REG