Updating: improving atscc2cil