Use constants instead of lets for semantically constant symbols
Add expectation of no exception for simple save case