function main() -> field {
  return 1field
}