1 defaultOptions =
2  -bindOptions   " bind-options "
2 %DBRM options (1) 
3?  -differenceOnly
3.1! FALSE
3.1 TRUE
4? %-grant (2) 
5? %Trace options (3)