Update abs.c.txt

done