#define TRIG 17
#define ECHO 16

uint32_t tempo_us=0;
uint32_t distancia=0;

void setup() {
  // put your setup code here, to run once:
  Serial1.begin(115200);
  Serial1.println("Hello, Raspberry Pi Pico!");
  pinMode(TRIG, OUTPUT);
  digitalWrite(TRIG,0);
  pinMode(ECHO, INPUT);
}

void loop() {
  digitalWrite(TRIG,HIGH);
  delayMicroseconds(10);
  digitalWrite(TRIG,LOW);
  tempo_us = pulseIn(ECHO,HIGH,38000);
  Serial1.println("Tempo em microssegundos: ");
  Serial1.println(tempo_us);
  distancia=17150*tempo_us;
  distancia=distancia/100000;
  Serial1.println("Distância em milimetros: ");
  Serial1.println(distancia);
  delay(40);
}