diff -r 5cff10efb927 -r 0d4119024f55 examples/msr/libm.o_shipped
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/msr/libm.o_shipped	Mon May 29 09:08:56 2006 +0000
@@ -0,0 +1,1 @@
+/usr/lib/libm.a
\ No newline at end of file