converse@EXPO.LCS.MIT.EDU (Donna Converse) (05/31/90)
Two boring nits:
> main(unsigned int argc, char **argv)
My reading of section 2.1.2.2 of the ANSI C spec is that the type of
argc is int.
The concerns in the diffs you offer for the R4 Intrinsic.h have been
addressed by public patches #10 and #11.