splice hex codec into sjcl