added SMACK_top_decl() for corral_atomic_begin() and corral_atomic_end()