let ctype_ptr_subtype tptr = 
  if (Cil.isPointerType tptr) then Cil.typeOf_pointed tptr
  else Wp_parameters.abort "pointed type but not a pointer"