(executable
 (public_name day3)
 (name main))