Updating: minorly improving atscc2cil