Wipe sandr, add skeleton functions

Add pre-conditions, post-conditions, and side effects