[Abstract 004] symbols mark int