#include "mbedtls/platform_time.h"

mbedtls_time_t dummy_constant_time( mbedtls_time_t* time );
void dummy_init();