This test lasts less than 10 seconds. It can be included in the SanityChecks test suite.