@ignore
Copyright (C) 1988-2013 Free Software Foundation, Inc.
@end ignore

@set LASTCHANGE Tue Aug  6 09:56:12 EDT 2013

@set EDITION 4.3
@set VERSION 4.3
@set UPDATED 6 August 2013
@set UPDATED-MONTH August 2013