@@ -4088,6 +4088,8 @@ begin
WriteWarning('Invalid x86 pointer type: ' + IntToStr(b));
end;
+ if tsystemcpu(ppufile.header.common.cpu)=cpu_wasm32 then
+ writeln([space,' WASM externref : ',(getbyte<>0)]);
iborddef :