% This is not a real program, only to test if tangle works.

@* Introduction.
This is just a test.

@p program CF_test;
type @<Types in the outer block@>

@ @<Types...@>=
@!seven_bits=0..127; {seven-bit numbers, a subrange of the integers}

@* Main program.

@p begin write_ln('This is CFtest');
end.