description: "h2e compilation"