#include "types.h"

void int_to_str(int i, char* buf);