#pragma once

double timestamp(void);
unsigned long get_boot_time(void);