unit Hello_ADR = {

imports[ ld_symbols : LDSymbols_T _exit : _Exit_T ]; exports[ progress : Progress_T out : { multiboot_main_wrapped base_stack_end oskit_version_string } invoke : InvokeMain_T reset : Reset_T ]; ...

}