Removed crawler() pseudocode.