Improve themis#option()