It's plucked from the stdlib :)