| dup: expected failure occurred |
| dup_x1_case1: expected failure occurred |
| dup_x1_case2: expected failure occurred |
| dup_x2_case1: expected failure occurred |
| dup_x2_case2: expected failure occurred |
| dup_x2_case3: expected failure occurred |
| dup2: expected failure occurred |
| dup2_x1_case1: expected failure occurred |
| dup2_x1_case2: expected failure occurred |
| dup2_x1_case3: expected failure occurred |
| dup2_x2_case1: expected failure occurred |
| dup2_x2_case2: expected failure occurred |
| dup2_x2_case3: expected failure occurred |
| pop: expected failure occurred |
| pop2: expected failure occurred |
| swap_case1: expected failure occurred |
| swap_case2: expected failure occurred |
