package stadtx

type State [4]uint64