Searching in go/state_machine