unit PXE_Boot = {

imports[ ld_symbols : PlainLDSymbols_T pxe_crt : PXECRT_T ]; exports[ progress : Progress_T bios : { i16_bios_main } _exit : _Exit_T ]; ...

}