@@ -0,0 +1,7 @@
+int write(int fd, char *buf, long len);
+
+int main() {
+ char six_seven = 67;
+ write(1, &six_seven, 1);
+ return 0;
+}