integer, public module_radlw_kgb12::msf12