The runtime support for JS1 is in compiler/Class.lzs. André even tested it (and fixed a bug I had), and there are tests for it in test/ lztest/lztest-class-impl, so I am pretty confident that it works. Note that `is` can also be used to test for something obeying an interface or containing a mixin, which `instanceof` does not.