DNA now uses libstate