seq#: do we actually need it as a primitive?