let parse s = try let f, n = split_option s in let n = int_of_string n in f, n with | Failure _ -> abort "Could not parse option \"-slevel-function %s\"" s