How will these options be encoded in binary files?