1  int
       2  get__alignof_int ()
       3  {
       4    return __alignof (int);
       5  }