#include "types.h"
#include "stlio.h"
void test_write();