An Example of ATS->C->JS