unit base_tss = {

imports[ gdt : { base_gdt } stdout : Stdout_T ]; exports[ tss : TSS_T ]; ...

}