A abstract stack written by C.