add: bug_009();
context: test_main(int, char *[]){    bug_001();    bug_002();    bug_003();    bug_004();    bug_005();    bug_006();    bug_007();    sf_bug_718903();    sf_bug_719322();    sf_bug_742038();    return 0;}