Reproducible bigswitch bugs