const onreadystatechange_setterinfo: JSJitInfo;