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