const onfocus_setterinfo: JSJitInfo;