Abstract stack checker values
