const onkeypress_getterinfo: JSJitInfo;