Bitecode for Javascript