select bug_case1();

select bug_case2();

select bug_case3();