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