Symbol: ndr_write_int32