stdlib extended