state $c = ...