Syntax extension for printf format strings