#pragma once

#include "sched.h"

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>

int benchmark(int argc, char **argv);