Added spec for generating *.dat file