//test the opaque data type works

var o: opaque = produce();

consume(o);