Warning: Kimwitu V4_3 and newer contain incompatible changes wrt Kimwitu V4_0 and older. - the rewrite_ functions contain an additional second parameter for a (rewrite-) view. The default rewrite-view is 'base_rview'. void rewrite_( p, rview v ); - the 'view' type has been 'renamed' to 'uview' (short for Unparse-view), the default 'base_view' has been renamed to 'base_uview'. the '%view' keyword has been renamed to '%uview'. The old names can still be used, but you are encouraged to use the new ones. - there is an extended syntax for rewrite rules: pattern -> < view1 view2 view... : term >; (or even more general, just like unparse rules: pattern1, pattern2, ... -> < views : term >, < views2 : term2 >, ... ; ) and you can declare rewrite views as '%rview view1 view2 ...; In addition, Kimwitu V4_3 and newer contain an incompatible change wrt Kimwitu V4_2_1. (sorry for this confusion) - in V4_2_1 the print_ functions contain an additional (first) parameter (for a file pointer (or 0, for stdout) in V4_3 and V4_0 and older, print_ has only one parameter: void print_( p ); V4_3 and newer contain new fprint_ functions that contain two parameters: void fprint_( FILE* f, p ); See also the CHANGES file in the kc-distr source (src) directory.