exe show-state
    : show-state.cc
    ;
