We only can't use rm32=5 when mod=0. Totally fine when it's mod=1.
New helper: printing a string to a buffered file.