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