C*: Unifying Programming and Verification in C | TickerVault