let priority op = 
  try
    get_priority (snd builtin_env.(op))
  with Not_found -> max_int