K 10 svn:author V 6 kevans K 8 svn:date V 27 2018-07-10T02:43:22.958823Z K 7 svn:log V 66 kern_environment: bool'itize dynamic_kenv; fix small style(9) nit END