A to native conversion specification for javascript