resv [] <> <>
 resv   
  []:  resv
  <>            :    resv
  <>          :  resv
