rels #13. Removed excessive memory allocation for bytesequences, made a more subtle variant for State.