r11414: new file

diff --git a/uffi/intbits.c b/uffi/intbits.c
new file mode 100644 (file)
index 0000000..17f7bf8
--- /dev/null
+++ b/uffi/intbits.c
@@ -0,0 +1,11 @@
+/* Prints the number of bits in a pointer.
+ * Copyright (c) 2006 Kevin Rosenberg
+ */
+
+#include <stdio.h>
+
+int main() {
+  char *p;
+  printf ("%d\n", 8*sizeof(p));
+  return (0);
+}