Write code for registering region obligations (but don't use it yet).