fixed call to __SMACK_code() to represent its argumnents more orthodoxly, hopefully this will change some of the buggy behavior I'm seeing