snippet to assess microsecond ticker reading function: uint32_t t = us_ticker_read();

Changes