More pervasives functions added