module dubnull;


string dummy() {
    return "dummy";
}