uint32_t timestamp()
{
    static uint32_t now = 0;
    return now += ( (uint16_t)( CT_ECAP.TSCTR >> 16 ) - (uint16_t)now );
}