Symbol: ndr_read_int32