Create otterexample.urs