finalizers example advanced + written specification for Range that follows the Oprop input file more closely, but without the verification