why not `"1/: \n".length()` and drop the comment