let d_const a = 
  match d_interp a with
    | Some(Const(c), []) -> Some(c)
    | _ -> None