#ifndef _MYPRINTINT_H
#define _MYPRINTINT_H
void print_int(int);
#endif