let obtain x =
    match get_value x with
      | Locked -> Wp_parameters.fatal "Cyclic compilation (%a)" K.Key.pretty x
      | Error exn -> raise exn
      | Data y -> y