Utilities to be used alongside the observe-shim