unit examples_vgatest = {

imports[ vga : SVGAlib_T string : String_T stdout : Stdout_T stdin : Stdin_T exit : Exit_T files : CFiles_T ]; exports[ main : Main_T ]; ...

}