type record Disconnect { HeaderFrame headerFrame1, EndFrame endFrame1, HeaderFrame headerFrame2, EndFrame endFrame2 }