let d_sub a = 
  match d_interp a with
    | Some(Sub(n,i,j),[x]) -> Some(n,i,j,x)
    | _ -> None