JSify some symbol names.