function main() -> bool {
  return true && 1u32
}