-/* Output from LCLint 3.0b-alpha */
+/* Output from Splint 3.0.0.20 */
# include "bool.h"
# ifndef EXPOSED_TYPE_st
-typedef struct {
+typedef struct s_st {
int a;
int *b;
} st;
# ifndef EXPOSED_TYPE_ut
-typedef union {
+typedef union s_ut {
int a;
st s;
st *t;