public static void ptmr_init(ptmr_t timer) { timer.stopwatch.Reset(); }
public static void ptmr_stop(ptmr_t timer) { timer.stopwatch.Stop(); }