015 store take give back disposal

// ASPIRATION — TODO idea pin. Queue (k) disposal verb: `take` extracts
// the row WITH ownership (a synthesized <pool:item!>-shaped obligation,
// O2) — and `give-back` is the discharge, the void call in consume
// position (std/list:free / Connection:close idiom). This program is the
// LEGAL flow 690_007's rejection implies: take, use, give back, clean
// compile. `give-back` SPELLING PROVISIONAL; `insert | row r` per the
// four-heads ruling.

~import std/io
~import std/store

~std/store:create(pool) { hp: i64 }

~std/store:insert(pool) { hp: 9 }
| row r |> std/store:take(pool[r]): item
    |> std/io:print.ln("took hp {{ item.hp:d }}")
    |> std/store:give-back(item)