Code like ```ts class Foo {} class Bar extends Foo {} var foo: Foo | null = null; foo instanceof Bar | null // here ``` is missing a check for when the LHS value is `0`, directly calling the `__instanceof` helper which then can fail due to UB.