OPTIONS["xxx"]["yyy"] > OPTIONS["xxx::yyy"]