const selected_setterinfo: JSJitInfo;