pub fn generic_eval_level(n: Int) -> Nil

pub fn generic_hash_level(n: Int) -> Nil

pub fn generic_infer_level(n: Int) -> Nil

pub fn generic_insert_level(n: Int) -> Nil

pub fn generic_parse_level(n: Int) -> Nil

pub fn level70() -> Nil

pub fn real_levels_list() -> List(#(String, fn() -> Nil))