namespace Day24; public record Line3(Vec3 Position, Vec3 Velocity) { public static explicit operator Line(Line3 line) { return new Line((Vec)line.Position, (Vec)line.Velocity); } }