void dummy_obj() {
	return;
}