// License: MPL-2.0
// (c) 2022 citrons <citrons@mondecitronne.com>

export type arch_state = [7]u64;