OPT support in the front-end
Minor fix in cache.c