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)