const formTarget_setterinfo: JSJitInfo;