/* function with a trailing colon on a paragraph in the description.
 * This function works as follows:
 *
 * It does nothing at all.
 */
void trailcolon();