Use Core in test/gen_data.ml