See the 'check' script for the expectation!