Changes to fix malloc size problem.

[splint.git] / test / observer.lcl

mutable type stx;

only char *stx_name (stx x) { }