<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font face="Open Sans, Calibri, sans-serif"><font face="Open Sans,
Calibri, sans-serif">On my machine, your</font> program outputs
32767 with GCC (7.4.0) and 0 with Clang (5.0.2).</font><br>
</body>
</html>