(executable (public_name aoc2022) (name main))