General question about Larch/C:  Actual C programmers don't
write for the compiler -- they write for the C preprocessor.  So
the code they read, (purportedly) understand, and maintain
doesn't necessarily look like anything that could even be
annotated in Larch/C.  What has been the experience of actual
users of Larch/C?  (The question applies, of course, to any
attempt to specify C.)

I'll just note the giddy possibility that one could allow
the preprocessor to cobble together not only the code but also the
annotations.  The result, of course, might be completely insane --
but it would have the rough justice of allowing you to describe
code you don't understand with annotations you can't understand.