eatexec type correctness