# these options are also defined by driver.cc 
option
option-value: #xyz
option-value: #xyz

# other lines may also be provided, lines starting with # are comment

a line not containing an option
