is this in the stdlib?