Which is preferred: `code.toString()` or `"#{code}"`? (I went with the former as it's used elsewhere in this file.)