stdlib pdf