const main() {
  const dummy := 0x10;
  return dummy;
}