tests for modifying bounds on binaries