const onkeypress_setterinfo: JSJitInfo;