[m-rev.] for review: replace nondet code in deep profiler

[Paul Bone]

On Wed, Jul 15, 2015 at 06:55:01PM +0200, Zoltan Somogyi wrote:
> For review by Paul.

This looks fine.

I don't remember using that much nondeterminism, it's strange to look back
on your code and find things like this.

Cheers.



-- 
Paul Bone
http://www.bone.id.au