state dump for debugging
removed dysfunctional para-strictness from MVar backend
...