Updating: adding a simple example of ATS->C->JS