#include "comdat4-aux.cc"