added tohexstring() builtin