unit breakpoint = {

imports[ gdt : { base_gdt_load } ]; exports[ out : Breakpoint_T ]; ...

}