{* file: non_matching_block_0009.in *} {decrementa}