Index: misc/rewrite.txt
===================================================================
--- misc/rewrite.txt	(revision cc2c9e07c3b07294dbe6c8e5c0b297dca411fff2)
+++ 	(revision )
@@ -1,5 +1,0 @@
-___divsi3	__divsi3
-___modsi3	__modsi3
-___mulsi3	__mulsi3
-___udivsi3	__udivsi3
-___umodsi3	__umodsi3