First version of the miniboxing example