If I set debug to 3, the output is (values 10 (10 1 2)). So, high optimization made the inconsistent output (values 0 (10 1 2)). In addition, I should've carefully check the warning message about a literal by SBCL.

The ocean of Common Lisp is so deep :o