X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump-float2.c;fp=dump-float2.c;h=0d27404a437c8d093a8a9738fd08ad85a3550830;hb=6ca1cdb717c55f8a4b4567285e9b44a8822504c9;hp=0000000000000000000000000000000000000000;hpb=c6d72eb6a6bab66d9e951315f20e04af536e38e4;p=pspp

diff --git a/dump-float2.c b/dump-float2.c
new file mode 100644
index 0000000000..0d27404a43
--- /dev/null
+++ b/dump-float2.c
@@ -0,0 +1,11 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+int
+main (void)
+{
+  double d = 100;
+  fwrite (&d, 1, sizeof d, stdout);
+  return 0;
+}