reproducer now includes also -m, -b, -e options