put options in a separate isl_options structure