read and write binary file use quasi quotation