WASI Preview1 type $userdata
$userdata
User-provided value that may be attached to objects that is retained when extracted from the implementation.
Definition:
(typename $userdata u64)