export type Hash = number;