Got rid of ext_seed