Codigo para OPTIONAL en CodeGen.cpp