[TUHS] question about mkfs(8) and stdio