#pragma once

#include <stdint.h>

void rtc_sleep(uint32_t ticks);