definition module commonWriteState;

import 
	State;

invert_marked_bool_a :: !*State -> (!*{#Bool},!*State);