examples with early thoughts on the application of separation logic