start_receiver (hmq message_queue)
{
  rcv_thread_parameters args = { event : create_event (), queue : message_queue };

  hmq thread_msg_queue = wait_event (args.event, thread_id),
  {
    thread_id = start (thread_proc, &args, -_, &thread_struct),
    {
      thread_struct = 
      {
        c_stack_size : THREAD_CALL_STACK_SIZE,
        v_stack_size : THREAD_DATA_STACK_SIZE,
        vm_heap_size : THREAD_ALLOC_HEAP_SIZE,
        t_ptr_length : THREAD_LOCAL_MEM_LENGTH,
        thread_level : THREAD_DATA_CONTAINER
      }
    }
  };

  ...

}
/
{
  free (&args.event);
}
