# ctfdump -t main.o.ctf - Types ---------------------------------------------------------------------- <1> INTEGER int encoding=SIGNED offset=0 bits=32 [2] INTEGER char encoding=SIGNED CHAR offset=0 bits=8 [3] POINTER (anon) refers to 2 [4] POINTER (anon) refers to 3