3 '/site/linux-ibiblio/distributions/sourcemage/grimoire/codex/stable/devel/frama-c/DETAILS' wicked mole: Inappropriate ioctl for device
!		error.host	1
.