unit base_gdt = {

imports[ tss : TSS_T segments : Segments_T ]; exports[ gdt : GDT_T ]; ...

}