first few bits of the javascript interpreter