static void dummy() { }