mutable type stx;

only char *stx_name (stx x) { }