type in check_stack