Daniel Heule 205e256ef6 rewrite of __key_value, now support nerarly every value		2014-02-24 21:42:45 +01:00
..
state	rewrite of __key_value, now support nerarly every value	2014-02-24 21:42:45 +01:00