Add coverage of the @default clause.