stack-overflow: assertion guards