#include "types.h"
#include "stlio.h"

void divide_by_zero();
void test_write();
void test_dispatcher();