#pragma once

#include "types.h"
#include <stdint.h>

void sleep(u64 delay);