For testing libatscc2js