let empty_state = [||]