eval and reify for ext