module execution_policies 
  {
    module execution_contracts 
    {
      typedef unsigned short priority_t;      
    };

  };