const onkeydown_getterinfo: JSJitInfo;