# file: /home/runner/work/FlashSpec/FlashSpec/benchmarks/cuda_graphs.py
# hypothesis_version: 6.170.11

['CaptureCounter', 'available', 'captures', 'source']