integer, public module_radsw_kgb25::msa25