1dup: expected failure occurred 2dup_x1_case1: expected failure occurred 3dup_x1_case2: expected failure occurred 4dup_x2_case1: expected failure occurred 5dup_x2_case2: expected failure occurred 6dup_x2_case3: expected failure occurred 7dup2: expected failure occurred 8dup2_x1_case1: expected failure occurred 9dup2_x1_case2: expected failure occurred 10dup2_x1_case3: expected failure occurred 11dup2_x2_case1: expected failure occurred 12dup2_x2_case2: expected failure occurred 13dup2_x2_case3: expected failure occurred 14pop: expected failure occurred 15pop2: expected failure occurred 16swap_case1: expected failure occurred 17swap_case2: expected failure occurred 18