debug branch for fast benchmarking; do not use for production