export type AttemptResult = number;