stdlib version