exhausativeness and stacktraces