- MsgIn ( Message : 
                    - MsgProc 'Thread_context' Message, Message.Msg_id Message.Window_id 
        )
With Thread_context = . ..