Target checking code generator has been rewritten