unit example_pingreply = {

imports[ string : String_T exit : Exit_T stdout : Stdout_T panic : Panic_T sprintf : Sprintf_T longjmp : LongJmp_T osenv_dev : OSEnvDevice_T osenv_intr : OSEnvIntr_T iids : { oskit_etherdev_iid } net : Net_T bootp : { get_ipinfo } bufio : BufIO_T netio : NetIO_T ]; exports[ out : Main_T ]; ...

}