HDTenEightyP/NetNews huggingface dataset:
From: mark@zeus.ocs.com (Mark Wilson)
Newsgroups: fj.mail-lists.x-window
Subject: Re: GUIs Considered Harmful
Date: 28 Aug 92 21:44:35 GMT
Distribution: fj
Organization: Online Computer Systems, Germantown MD

Date: Fri, 28 Aug 1992 12:22:48 GMT
Message-Id: <Btp121.E74@ocsmd.ocs.com>
Newsgroups: alt.religion.computers,comp.windows.misc,comp.windows.news,comp.windows.x,comp.human-factors


As a GUI/Human-Factors -type person, I have to agree with both sides
in this thread (how GUI can you get?).

1. Iconization does not in-and-of-itself make a system easier to use.
        It takes LOTS of thought (and, inevitably, tweaking from
        experience) to make a system that is consistent, intuitive,
        easy-to-use AND powerful.  (I'm not sure anyone has REALLY done
        this yet in ANY arena, but there are lots of contenders,
        many beyond my personal expertise.)

2. Lack of iconization doesn't necessarily do it either.

3. Nor does computing power.

4. A well-designed GUI WOULD be easier for most people to use than
        a well-designed character interface, because of requiring
        less training, but BOTH would STILL require training to
        get across more subtle concepts.  (Naturally, keeping the
        number of 'subtle concepts' down is a primary goal.)

5. A poorly-designed GUI CAN be just downright confusing.
        Boxes with checkmarks are intuitive.  Boxes with X's
        (like Windows, I'm sorry to say) are NOT.  My personal
        first assumption when I saw the X: 'X' must mean
        "UNselected"... but 'blank' means unselected... maybe 'X'
        means OFF, blank means no choice yet, and check will be
        ON... No, that don't work, it just toggles between 'X'
        and blank... *sigh*... I guess 'X' means ON...

        The same thing goes for dimmed boxes, and all 'highlights'
        which are darker than 'unhighlighted' items.  A common
        thing in training is to 'highlight' a piece of white
        text with yellow... it's a difference, but it's NOT a
        'highlight' and it IS harder to follow for the student.

        Text-input boxes should simply have an internal indicator
        that text is to go there: '>', or underlining (which can
        also indicate maximum input length), etc.

6. In sum, poor use of graphic devices can be not only unhelpful
        but actually confusing.  BUT, intelligent use of graphic
        devices CAN be illuminating and crucially helpful.

        Just stay away from the "fruit salad and chrome" overkill.

[End of sermon]
From: azhao@cs.arizona.edu (Qiang Alex Zhao)
Newsgroups: fj.mail-lists.x-window
Subject: Re: Choosing colors  for X11 - a palette ?
Date: 29 Aug 92 07:10:54 GMT
Distribution: fj
Organization: Computer Science Dept, Univ of Arizona, Tucson

Date: 28 Aug 92 20:55:38 GMT
Message-Id: <21272@optima.cs.arizona.edu>
Newsgroups: comp.windows.x,comp.windows.x.apps

In article <17m0c4INN977@agate.berkeley.edu>, desouza@asmara.berkeley.edu (Paulo de Souza) writes:
|> I seen on some DEC and IBM machines a palette that lets you move a
|> stick around and choose a color giving you (in another part of the
|> window) the combo of Red-Green-Blue that you need to match that
|> color.
|> 
|> Does anybody knows if such a thing is available for X11 (for example
|> on a Sparc Station) ? And where one could find it ?
|> 
|> Paulo Ney                                desouza@math.berkeley.edu

Try "xcoloredit" -- consult the archie servers for locations (you may
want to start from the following):

	export.lcs.mit.edu	/contrib
				xcoloredit.tar.Z

-- 
= Qiang Alex Zhao		   Computer Science Department
  azhao@cs.arizona.edu             University of Arizona
  (602) 621-1815                   Tucson, AZ 85721
From: 6500mack@ucsbuxa.ucsb.edu (Michael P. Mack)
Newsgroups: fj.mail-lists.x-window
Subject: Re: Color icons
Date: 29 Aug 92 04:23:12 GMT
Distribution: fj
Organization: Workstation Div., Supermicro Systems Group, Sony Corporation

Date: 28 Aug 92 18:05:30 GMT
Message-Id: <5564@ucsbcsl.ucsb.edu>
Newsgroups: comp.windows.x


In the WMHints, set the icon_window to some window you created and then
set the background pixmap to the desired pixmap.  Whenever you iconify
the main window, the color icon will appear.

Mike
From: williams@herky.cs.uiowa.edu (Kent Williams)
Newsgroups: fj.mail-lists.x-window
Subject: AIX X11R5 / GL library clashes
Date: 28 Aug 92 22:52:31 GMT
Distribution: fj
Organization: U of Iowa, Iowa City, IA

Date: 28 Aug 92 14:44:38 GMT
Message-Id: <1992Aug28.144438.27173@news.uiowa.edu>
Newsgroups: comp.unix.aix,comp.windows.x

OK Gentle Gurus, here's another one:

Our application uses GL graphics under AIX.  If you link against the
'official' X libraries on AIX 3.1 (which are R3 :-() there's no problem.
But now I'm linking against X11R5 libraries, and when I run my program I
get the following dynamic linker errors:

Could not load program dge
Symbol AIX_ASYNC in /lib/libgl.a is undefined
Symbol XLookupMapping in /lib/libgl.a is undefined
Could not load library libgl.a[shr.o]
Error was: Exec format error

Now XLookupMapping is in the 3.1 liboldX.a but it's not documented except
in AIX documentation.  I don't think it's anything I care about, since we
don't use the GL event queue, but is it safe to dummy it out?

Also what is this AIX_ASYNC? It appears to be a integer 0, but does it have
any special significance???

Thanks, by the way, to all who replied to my query on shared libraries and X.
From: hendrix@oasys.dt.navy.mil (Dane Hendrix)
Newsgroups: fj.mail-lists.x-window
Subject: X-clients for Macintosh
Date: 21 Aug 92 23:11:40 GMT
Distribution: fj
Organization: Code 1542, DTMB, Bethesda, MD

Date: 20 Aug 92 18:35:01 GMT
Message-Id: <23896@oasys.dt.navy.mil>
Newsgroups: comp.windows.x

I'm thinking about getting X-client software for a Mac on our
network so that I can access Mac applications from my workstation.

Could people post or email their experiences?

Two products I've heard of are Xport and PlanetX.

Thanks,
 (I'll summarize to the net if requested.)


Dane Hendrix                              | email: dane@wizard.dt.navy.mil 
DTMB (a.k.a. Headquarters, Carderock Div.,|  or hendrix@oasys.dt.navy.mil
Naval Surface Warfare Center)             |  or hendrix@nas.nasa.gov 
Code 1542, Bethesda, MD 20084-5000        | phone: (301)227-1340
From: rjw@merlin.cvs.rochester.edu (Robert Wilson)
Newsgroups: fj.mail-lists.x-window
Subject: X ftp programs
Date: 4 Sep 92 00:43:29 GMT
Distribution: fj
Organization: University of Rochester, Rochester NY

Date: 3 Sep 92 18:27:41 GMT
Message-Id: <1992Sep3.182741.16721@galileo.cc.rochester.edu>
Newsgroups: comp.windows.x

I don't seem to be having much luck with getting X ftp programs to compile.

I got my hands on Ftptool4.3, but it needs XView.

I downloaded xftp, but it needs widgets with prefix "Xw" (no, not "Xaw"),
which I've never even _heard of_ before.

One machine I have has the Athena widgets.  Another has Motif.  Any
recommendations for ftp programs for either of these toolkits?

-Robert
 rjw@cvs.rochester.edu
From: achan@idaho.tdd.sj.nec.com (Amy Chan  x2941)
Newsgroups: fj.mail-lists.x-window
Subject: Re: how to implement slow calback routines ?
Date: 28 Aug 92 00:16:33 GMT
Distribution: fj
Organization: NEC-AM TDD, San Jose, California

Date: Thu, 27 Aug 1992 17:23:08 GMT
Message-Id: <1992Aug27.172308.26372@sj.nec.com>
Newsgroups: comp.windows.x

In article <1992Aug27.130557.6965@dxcern.cern.ch> veym@cernvm.cern.ch (Marc Vanden Eynden) writes:
>Hi everybody,
>
>My problem is the following :
>
>In several applications we add a callback routine to a pushbutton, let us say 
>that foo is this callback routine.
>In foo, we have to access large numbers of pieces of equipment;this operation
>may take up to 30 seconds. Therefore, we pop up an a XmMessageBox telling the
>user that the task in currently running.
>The problem is that after the creation of the messagebox we do not return to
>the XtMainLoop() and the messagebox is not managed on the screen, even if we
>call XFlush().
>
>Example :
>callback routine foo(...)
>{ 
>   /* inform user that it will take 30 seconds */
>
>    msgbox = XmCreateMessageBox(...)
>    XtManageChild(msgbox);
>    XFlush(dpy);
>
>   /* start hardware access - 30 seconds of exexution */
>
>    AccessHW(...)
>}

Use XmUpdateDisplay to force handling of exposure events.

Hope this helps.

Amy
--
Amy Chan                 | E-Mail:
NEC America              |  INET: achan@tdd.sj.nec.com
110 Rio Robles           |  UUCP: ...{decwrl,oliveb}!necsun!achan
San Jose, CA 95134       |
From: dawes@physics.su.oz.au (David Dawes)
Newsgroups: fj.mail-lists.x-window
Subject: XPutImage and server with bit_order!=byte_order
Date: 26 Aug 92 20:43:08 GMT
Distribution: fj
Organization: School of Physics, University of Sydney, Australia

Date: Wed, 26 Aug 1992 14:35:15 GMT
Message-Id: <1992Aug26.143515.24065@ucc.su.OZ.AU>
Newsgroups: comp.windows.x

I've been working on a mono VGA version of X386.  The 386 has a little
endian byte-order, but the VGA's mono frame buffer uses a big endian bit-order.
The mfb code can handle this, but there seems to be a problem with
the conversions done in XPutImage (Xlib).

I've looked at the code -- and the reasoning given in XPutImage.c, and I
believe there is a problem.

Here is an extract:

-> The following table gives the bit ordering within bytes (when accessed
-> sequentially) for a scanline containing 32 bits, with bits numbered 0 to
-> 31, where bit 0 should be leftmost on the display.  For a given byte
-> labelled A-B, A is for the most significant bit of the byte, and B is
-> for the least significant bit.
-> 
-> legend:
->         1   scanline-unit = 8
->         2   scanline-unit = 16
->         4   scanline-unit = 32
->         M   byte-order = MostSignificant
->         L   byte-order = LeastSignificant
->         m   bit-order = MostSignificant
->         l   bit-order = LeastSignificant
-> 
-> 
-> format  ordering
-> 
-> 1Mm     00-07 08-15 16-23 24-31
-> 2Mm     00-07 08-15 16-23 24-31
-> 4Mm     00-07 08-15 16-23 24-31
-> 1Ml     07-00 15-08 23-16 31-24
-> 2Ml     15-08 07-00 31-24 23-16
-> 4Ml     31-24 23-16 15-08 07-00
-> 1Lm     00-07 08-15 16-23 24-31
-> 2Lm     08-15 00-07 24-31 16-23
-> 4Lm     24-31 16-23 08-15 00-07
-> 1Ll     07-00 15-08 23-16 31-24
-> 2Ll     07-00 15-08 23-16 31-24
-> 4Ll     07-00 15-08 23-16 31-24

It seems to me that the lines for 2Ml, 4Ml, 2Lm, 4Lm are not correct.
The only difference between 1Ll and 1Lm is that the bit order within
each byte is reversed.  The same is true for 4Ll and 4Lm (at least
that's how the mfb code works).  Why then is the ordering given for 1Lm
different to that for 4Lm when 1Ll and 4Ll are the same?  The above
table is showing the byte order reversed as well as the bit order (and
this is what is causing problems with the mono VGA server which uses
bitmaps of the 4Lm type).

Is there something that I'm missing?

(Modifying XPutImage along these lines fixes the problem -- but the server
will have problems with clients built with the unmodified version.)

David
--
------------------------------------------------------------------------------
 David Dawes (dawes@physics.su.oz.au)    DoD#210      | Phone: +61 2 692 2639
 School of Physics, University of Sydney, Australia   | Fax:   +61 2 660 2903
------------------------------------------------------------------------------
From: mosedale@genome.stanford.edu (Dan Mosedale)
Newsgroups: fj.mail-lists.x-window
Subject: VXT 2000 X terminal: user-level authentication?
Date: 22 Aug 92 03:24:43 GMT
Distribution: fj
Organization: Stanford Yeast Genome Project

Date: Fri, 21 Aug 92 17:35:56 GMT
Message-Id: <1992Aug21.173556.24293@leland.Stanford.EDU>
Newsgroups: comp.sys.dec,comp.windows.x

I'm trying to convince some DEC VXT 2000 X terminals to give me
user-level authentication (i.e. MIT-MAGIC-COOKIE-1, or better yet,
XDM-AUTHORIZATION-1).

I'm using the VXT 1.1 software, which seems to say that it can't be
done.  However, doing a 'strings' on the server binary turns up
strings such as 'MIT-MAGIC-COOKIE-1' and 'XDM-AUTHORIZATION-1',
implying that the code is, in fact, there.

I am assuming what's happening is that the VXT is disabling security by
sending empty Authentication Name and Authentication Data fields in
its XDMCP Request packet, though I don't know that this is the case.

Interestingly enough, my .Xauthority does get a new magic-cookie upon
each login, but the X display is clearly only paying attention to
xhost level stuff.

Any clues on how to make this work would be much appreciated.

Dan Mosedale
mosedale@genome.stanford.edu
From: oliva@julian.uwo.ca (Chris Oliva)
Newsgroups: fj.mail-lists.x-window
Subject: mwm man pages
Date: 25 Aug 92 22:54:54 GMT
Distribution: fj
Organization: University of Western Ontario, London

Date: 25 Aug 92 18:24:59 GMT
Message-Id: <1992Aug25.182459.19500@julian.uwo.ca>
Newsgroups: comp.windows.x


  Can someone out there send me or tell me where to get the
  postscript or nroff version of the mwm man pages.
  
Thanx, Chris.
From: deveau@oceanroutes.ns.ca ("Terry J. Deveau")
Newsgroups: fj.mail-lists.x-window
Subject: Re: GUIs Considered Harmful
Date: 28 Aug 92 18:13:41 GMT
Distribution: fj
Organization: Oceanroutes Canada Inc.

Message-Id: <9208281503.AA00551@expo.lcs.mit.edu>
Date: Fri, 28 Aug 92 12:03:34 ADT
Phone: (902) 468-3007, FAX: (902) 468-3009
Mailer: Elm [revision: 64.9]

Elizabeth D. Zwicky <zwicky@erg.sri.com> writes:

> In the old NeWS toolkit, you had checkboxes. When they were selected,
> they had great big check marks in them. I comprehend this. In
> FrameMaker, unselected items have little raised squares, selected
> items have sunken squares. I do not comprehend this. Sometimes I think
> the sunken ones are supposed to be off. Yes, I know, I'm supposed to
> think of them like the kind of button that sinks in when you press it,
> but a) they don't really look like that b) no button I've ever seen
> goes raised->sunken; they either go raised->less-raised or
> flat->sunken and c) it just doesn't work for me.  The sunken ones are
> also darkened, which means that in a one-of-many selection, the item
> that's currently selected is the least visible; it looks almost greyed
> out, like it's inaccessible or something. Plus sometimes if you press
> on something sunken it pops out, sometimes it does nothing, and
> sometimes it acts as if you selected it again. If this 3-d stuff is
> supposed to mean something, instead of being glitz, I don't know what
> it is; I can't find a consistent meaning.

How true!  It's so bad that when I really only need two toggle buttons
(radio buttons) I always try to come up with a third one of some kind
so that the user will be able to infer which is set by playing the
famous television game "which of these things is not like the others?" :)

... Terry
From: melby@dove.yk.fujitsu.co.jp ("John B. Melby")
Newsgroups: fj.mail-lists.x-window
Subject: Re: How to know a client itself has been killed?
Date: 22 Aug 92 00:34:31 GMT
Distribution: fj
Organization: Open Systems Dept. Div. 2 Sect. 1, FUJITSU LTD.

Date: 18 Aug 92 09:21:00 GMT
Message-Id: <MELBY.92Aug18092100@dove.yk.Fujitsu.CO.JP>
Newsgroups: comp.windows.x

>How can a client know that itself has been killed by the window manager?

Use XSetIOErrorHandler().  (The same error handler is called when the
client-server connection is lost.)

-----
John B. Melby
Fujitsu Limited, Yokohama
melby%yk.fujitsu.co.jp@fai.com
From: shekar@myria.cs.umn.edu (Shekhar H. Kirani)
Newsgroups: fj.mail-lists.x-window
Subject: Re: GUI Documentation Question
Date: 28 Aug 92 02:52:17 GMT
Distribution: fj
Organization: University of Minnesota

Date: 27 Aug 92 20:06:07 GMT
Message-Id: <shekar.714945967@myria>
Newsgroups: comp.software-eng,comp.windows.x

In <1992Aug26.190032.29817@news.duc.auburn.edu> dannelly@eng.auburn.edu (R. Stephen Dannelly) writes:


>I have a question concerning an area (GUI documentation) that I
>don't know a lot about.  I hope this is not a stupid post.


>    Here are some of the problems we have:
>          how to specify what the windows look like
>          how to specify the user dialogue
>          how to specify every operation that can be performed in a window
>          how to show how each window relates to each other
>          how to indicate which functions are called by which actions


Recently, I surveyed a couple of papers on user interface management
systems, design etc. Most of the work has addressed some of the problems
specified above independently. For example, M. Green's paper " A survey
of three dialogue models", ACM Trans. on graphics, Jul 86, describes
transition nets, context free grammers and events specification methods
for specifying the user computer interaction. Most of the research is
done for specifying a graphical system to generate the interface
programs automatically, rather than as a requirement documentation of
the system. For describing the behavior of user interface, the method
given in the paper "The UAN: A USer-Oriented Representation for Direct
Manipulation Interface Designs", by H. R. Hartson in ACM Trans. on Inf.
Syst., Jul 1990, is quite good, though it suffers from some
disadvantages.  Some of the papers that can be of interest to you are,

1. A. Harbert et.al., A Graphical Specification System for
User-Interface Design, Jul, 1990, IEEE Software.
2. R. J. K. Jacob, A Specification Language for Direct-Manipulation User
Interfaces, ACM Trans. of Graphics, Vol. 5, No. 4, Oct 1986.
3. B. A. Myers, et. al., Garnet: Comprehensive Support for Graphical,
Highly Interactive User Interfaces, Nov 1990, IEEE Computer.

Shekhar Kirani
----------------------------------------------------------------
Shekhar Kirani				Computer Sc. Dept, 200
1530, S.6th. St., C-410			Union St., Univ. of Minnesota
Minneapolis, MN-55454.			Minneapolis, MN-55455.
Ph: (home) 612-341-0256. 		(off)  612-625-4029.
----------------------------------------------------------------
From: Hornig@riverside.scrc.symbolics.com (Charles Hornig)
Newsgroups: fj.mail-lists.x-window
Subject: CLX 5.01
Date: 26 Aug 92 18:50:52 GMT
Distribution: fj
Organization: Workstation Div., Supermicro Systems Group, Sony Corporation

Date: Wed, 26 Aug 92 13:10:38 -0400
Message-Id: <9208261710.AA02725@expo.lcs.mit.edu>

Version 5.01 of CLX (the X library binding for Common Lisp) is now
available on export.lcs.mit.edu in /contrib/CLX.R5.01.tar.Z.  The
differences between this version and the version distribiuted with R5
are described below.  Please report any problems with this version of
CLX to bug-clx@expo.lcs.mit.edu.

- - - - - - - - - -

Changes in CLX 5.01:

Support for MIT-MAGIC-COOKIE-1 authorization has been added.

All VALUES declarations have been changed to CLX-VALUES declarations.
VALUES is a CL type name and cannot be used as a declaration name.

All ARRAY-REGISTER declarations have been removed as Genera no longer
needs them.

Many type declarations have been corrected or tightened up now that some
Lisps look at them.

Print functions have been defined for bitmap and pixmap formats.

The DISPLAY-PLIST slot will be initialized to NIL.

When debugging, don't optimize SPEED in the buffer macros.

Make the CARD8<->CHAR and the window manager code work for sparse
character sets (where some codes do not have corresponding characters).

The default gcontext extension set and copy functions will take the
correct number of arguments.

PUT-IMAGE will now work for 24-bit images.

The buffer accessors for MEMBER8, etc., will use the standard mechanisms
for reporting type errors.

Typographical errors in SET-WM-PROPERTIES, SET-STANDARD-COLORMAP, and
POINTER-CONTROL have been fixed.

Symbolics systems will do lazy macroexpansion in the buffer macros.

A variety of changes for Symbolics Minima systems have been made.

Some system-dependent code has been added for CMU Common Lisp.
From: berstel@mipsmath.math.uqam.ca (Bruno Berstel)
Newsgroups: fj.mail-lists.x-window
Subject: Re: SUMMARY: POLL: What is in X/shell files?
Date: 25 Aug 92 22:40:17 GMT
Distribution: fj
Organization: Universite du Quebec a Montreal

Date: 25 Aug 92 17:05:41 GMT
Message-Id: <1992Aug25.170541.9863@cari.telecom.uqam.ca>
Newsgroups: comp.unix.admin,comp.windows.x,comp.windows.x.apps

I would like to thank Tom for quoting my answer to his poll. Still the
lines he quoted may be misleading if not replaced in their context. Indeed,
in article <1992Aug23.002433.18628@ichips.intel.com>,
tmcconne@sedona.intel.com (Tom McConnell) writes:
|> [...] When using xdm, terminal information
|> can be set up in the X resources (thanks to Bruno Berstel for this
|> example):
|> 
|>         * The .Xresources files
|> 	...
|> 	# We know it's Delete because of the xmodmap in .x{initrc,session}
|> 	XTerm*ttyModes:         erase ^? kill ^U intr ^C
The comment refered to the
	xmodmap -e "keysym BackSpace = Delete"
line I put in .xsession (and .xinitrc).
|> 	...
|> 	# You should try that : when you select a chunk of text in a window
|> 	# with the shift key down, it's automagically pasted on the command
|> 	# line without any other button press.
|> 	XTerm*VT100.translations: \
|> 		Meta<KeyPress>  : string(0x1b) insert() \n\
|> 		<KeyPress>      : insert()
|> 	...
Well the above two lines are rather to be able to use the Meta key to
type ESC combinations [I cannot remember why I discarded the insert-eight-bit()
action]. To add the atomical copy-paste facility, the XTerm*VT100.translations
resource should be :

XTerm*VT100.translations: \
        Meta<KeyPress>  : string(0x1b) insert() \n\
        <KeyPress>      : insert() \n\
        \
        Ctrl<Btn1Down>  : popup-menu(mainMenu) \n\
        Ctrl<Btn2Down>  : popup-menu(vtMenu) \n\
        Ctrl<Btn3Down>  : popup-menu(fontMenu) \n\
        Ctrl<BtnUp>     : ignore() \n\
        \
        <Btn1Down>      : select-start() \n\
        <Btn1Motion>    : select-extend() \n\
        <Btn3Motion>    : select-extend() \n\
        <Btn3Down>      : start-extend() \n\
        Shift<Btn2Up>   : insert-selection(SECONDARY) \n\
        Shift<BtnUp>    : select-end(SECONDARY) insert-selection(SECONDARY) \n\        <Btn2Up>        : insert-selection(PRIMARY, CUT_BUFFER0) \n\
        <BtnUp>         : select-end(PRIMARY, CUT_BUFFER0)

Bruno.
-- 
-----     -----     -----     -----     -----     -----     -----     -----
Bruno Berstel                                         berstel@lacim.uqam.ca
Laboratoire de Combinatoire et d'Informatique Mathematique       L.A.C.I.M.
Universite du Quebec a Montreal                                    U.Q.A.M.
(Tele)phone : (514) 987-8495                           Fax : (514) 987-8477
---------------     ---------------     ---------------     ---------------
                    Noel en hiver, Paques au printemps.
From: rjc@cogsci.ed.ac.uk (Richard Caley)
Newsgroups: fj.mail-lists.x-window
Subject: Re: GUIs Considered Harmful
Date: 25 Aug 92 01:33:09 GMT
Distribution: fj
Organization: Human Communication Research Center

Date: 24 Aug 92 13:27:57 GMT
Message-Id: <RJC.92Aug24142757@daiches.cogsci.ed.ac.uk>
Newsgroups: alt.religion.computers,comp.windows.misc,comp.windows.news,comp.windows.x,comp.human-factors

In article <1992Aug23.020825.3490@uwm.edu>, Hunk  (h) writes:

h> I don't even need to bother testing or debugging it, since I
h> already PROVED it will work (under the assumption that long
h> integers are 32 bits, that the parameter N (below) is <= 31, that
h> you're compiling with an ANSI-C compiler, and your system has
h> sufficient memory.).

And the process table isn't full and stdout isn't connected to a file
system which is full/where you're over quota and... :-)

Now try it for a problem which couldn't be done by anyone who'd done a
one week programming course.

Added to which, this is hardly relevant to the question at hand since
real people are even less interested in deriving formal methods of
writing a letter to their grandmother than they are in remembering
how to work an obscure word processor to do it.

--
rjc@cogsci.ed.ac.uk		And there isn't a macintosh somewhere in
				the same building lowerring the
				ambient computational power below 0.