Synthesized code - Cache_Controller