add options.sml