B Using FTS: An Example