spec3: extract data into a file