More musings on filling a file of a given size using a regex