[SOLVED] Safe elimination of `unsafePerformIO`?

[Ambrose]

This is an idiom for global mutable variables. Top level mutable state - HaskellWiki

So I think stan just doesn’t understand the idiom and this is a false positive.