C routines are indicated by the structured comment /*@ ... @*/. The doctext program provides a synopsis automatically by reading the declarations of the routine. Arguments are specified as described in See section Describing Arguments.