#include "domain_wedge_dummy.h"