Symbol: xdrgen_encode_aclscope4