Documentation of util_states