spec3: Extract data to a separate file
spec3: Load data file specified as the first argument