Size of int without sizeof