Fixup prototype
Implement symbol to/from json