Should we check with pascalc to see if unicode in bedrock is okay? (since it doesn't use verbatim I'm not sure)