Source position: wasmtime.pp line 367
type Twasm_val_vec_t = record
size: TSize_t;
data: Pwasm_val_t;
end;