Runtime libraries for javascript