void publish_position_setpoint_triplet();