def const(x: int) -> int:
     "Emulate making a constant"
-    return x
 
 def native(f: Fun) -> Fun:
     "Emulate making a native"
-    return f
 
 def viper(f: Fun) -> NoReturn:
     "User is attempting to use a viper code emitter"
-    raise SyntaxError("invalid micropython decorator")
 
 def asm_thumb(f: Fun) -> NoReturn:
     "User is attempting to use an inline assembler"
-    raise SyntaxError("invalid micropython decorator")