# file: /home/runner/work/FlashSpec/FlashSpec/flashspec/engine/static_cache.py
# hypothesis_version: 6.170.13

[128, 500, 'StaticKvSession', 'cache_position', 'cache_size_limit', 'error', 'from', 'past_key_values', 'recompile_limit', 'to', 'use_cache']