Did you know ... Search Documentation:
Predicate gen_state/1