check_binary_output.ll 239 Bytes