const onkeydown_setterinfo: JSJitInfo;