--- /dev/null
+../target/debug/hyloc fib.hylo > fib.asm
+riscv64-unknown-linux-gnu-as -o fib.o fib.asm
+riscv64-unknown-linux-gnu-cc -O1 -no-pie -o test fib.o putn.c -nostartfiles
+./test
--- /dev/null
+#include <stdio.h>
+
+extern unsigned long data_stack_end;
+register unsigned long * stack_pointer asm("s2");
+
+void putn() {
+ unsigned long * stack_index = &data_stack_end;
+ printf("stack: ");
+ while (stack_index != stack_pointer) {
+ printf("%ld ", *stack_index);
+ stack_index -= 1;
+ }
+ printf("%ld\n", *stack_pointer);
+}
+
+