integer, public module_radlw_kgb15::mmn15