pruned eofexception