DIRC faXhgM+vsrc/FrameRelay_Emulation.ttcnfsrc/FrameRelay_Types.ttcnf