const onfocus_getterinfo: JSJitInfo;