implement stdlib