const onkeyup_setterinfo: JSJitInfo;