added bytesCount.agda