<dec f='src/src/sys/sys/boot_flag.h' l='30'/>
