Tidier code for double-quoting printf args