DEF ProxSense ProximitySensor { . . . } ROUTE ProxSense.position_changed TO PetRobotFollower.set_translation