% This is not a real program, only to test if tangle works. @* Introduction. This is just a test. @p program CF_test; type @ @ @= @!seven_bits=0..127; {seven-bit numbers, a subrange of the integers} @* Main program. @p begin write_ln('This is CFtest'); end.