
  TYPE
    pft$access_kind = (pfc$read_access, pfc$write_access);

