s4-pidl: add support for NDR64