Setting up compilable SMACK example
Added struct line
added line
Getting closer