lib_index(options_restore, 2, any, options, options_restore).
lib_index(options_debug_topic, 3, any, options, options_debug_topic).
lib_index(options_propagate, 4, any, options, options_propagate).
lib_index(options_call, 2, any, options, options_call).
lib_index(options_append, 3, any, options, options_append).
lib_index(options, 2, any, options, options).
lib_index(options_return, 3, any, options, options_return).
lib_index(options_return, 2, any, options, options_return).
lib_index(options_debug, 3, any, options, options_debug).
lib_index(options_call, 3, any, options, options_call).
lib_index(options_rename, 4, any, options, options_rename).
lib_index(options, 3, any, options, options).
lib_index(options_append, 4, any, options, options_append).
lib_index(options_version, 2, any, options, options_version).