let
trace_story = (ref [] : string list
Pervasives
.ref)