const onselect_setterinfo: JSJitInfo;