let
configuration = (
Obj
.magic configuration : int array ref)