stack-checker: make this an unchecked-example.