// BUG: Incomplete case statement
// endcase
// FIX:
    default: begin
        state <= s0;
    end
    endcase
// BUG: