third_party/kashmir/empty.cc

void _empty_kashmir_xyz() {
}