void sysspecdummy() {}