public function size(object $file): int 	{ 		return $file->size; 	}