Optimal context passing with HVM's "pure mutable references"
gist.github.com