Symbol: xdrgen_decode_hyper