% 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.