Added header for int-stack