## Save right after starting
n
seed 1240742801
save
y
/dev/badfilename