let
push tok vext vin = blocks := (tok, vext, vin) :: !blocks