Create absttraction-IO.h