add some utilities in std