let parse s = try split_option s with Failure _ -> abort "Could not parse option \"-val-builtin %s\"" s