int
get__alignof_int ()
{
  return __alignof (int);
}