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