lexopt_derive