Symbol: atk_print_sensor