#install_printer Aoc.Vec2.pp;;