ATS->C->JS via atscc2js

Playing the Hanoi Towers puzzle