integer, public module_radsw_kgb17::msf17