void __mpcdummy(){}