output binary result on stdout