codebox: fast-enumeration added