eval & asCCC' examples