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