Prep for bisect demo: add a program and a test
change 1a
change 1b
change 1c
change 2a
change 2b
change 2c
change 3a
change 3b
change 3c
change 4a
change 4b
change 4c
change 5a
change 5b
change 5c
change 6a
change 6b
change 6c
change 7a