proc counter() -> Logic<8> {
reg count = 8'0;
// TODO: no addition yet :(
next count = count ^ 1;
count
}