exhaustive optimizer example
WIP