Some code to control options. Still unimplemented.