example: lookup in the local state