A non-standard stdlib.