/analysis/1146/criterion/example_stack-push_pop/