Viper decorator in Webassembly port

[TinyCircuits]

Hi,

I am currently developing a tool that allows users to run code in browser and on their device. Some of the scripts run on the device will use the @micropython.viper code decorator. When the same scripts are run in the Webassembly port, I get the following error:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/Games/game/main.py", line 79, in <module>
SyntaxError: invalid micropython decorator (at micropython.mjs:6425:15)

That line is at the location of: @micropython.viper

Is the viper code decorator disabled for some reason? Is it that support for Webassembly viper is not implemented? Would it even be possible to implement it?

Thanks.