#include "lib/int/stdint.h"
volatile uint64_t task_system_clock; // from task.c