diff --git a/bsrt.uc b/bsrt.uc
new file mode 100644
index 0000000..3c0aede
--- /dev/null
+++ b/bsrt.uc
@@ -0,0 +1,119 @@
+#define LIST_START 0xE0
+#define HASH_MASK 0b1111000
+
+// PM initial state
+#data 0x00 0x00
+#data 0x08 0x08
+#data 0x10 0x10
+#data 0x18 0x18
+#data 0x20 0x20
+#data 0x28 0x28
+#data 0x30 0x30
+#data 0x38 0x38
+#data 0x40 0x40
+#data 0x48 0x48
+#data 0x50 0x50
+#data 0x58 0x58
+#data 0x60 0x60
+#data 0x68 0x68
+#data 0x70 0x70
+
+// Set PC to LIST_START
+const LIST_START
+mov ar pc
+
+
+// Start of bucket sort loop
+$BUCKET_SORT_START
+
+// Dereference pc into AR and GR (data[pc_])
+mov pc asr
+mov pm ar; mov pm gr
+
+// Hash: rotate left by 7 and only keep bits 3-6 (inclusive)
+// This means we index on the highest 4 bits of the value
+// and we have 3 bits of leniency: bucket size of 8
+rol
+rol
+rol
+rol
+rol
+rol
+rol
+and HASH_MASK
+mov ar hr
+
+// Dereference AR (HR) into AR (ar = buckets[ar])
+mov hr asr
+mov pm ar
+
+// Increment element end-index stored in program memory
+add 1
+mov ar pm
+
+// Push PC
+mov pc ir
+
+
+// Prepare for insertion sort here:
+
+// Compute length of bucket into LC
+sub hr
+mov ar lc
+
+// Save start index to PC (for fast dereferencing)
+mov hr pc; declc
+
+// Start of nested insertion sort
+$INSERTION_SORT_LOOP_START
+
+// If LC is set, we've reached the end of the elements
+bls @INSERTION_SORT_END_BIGGEST
+
+// Increment check index
+incpc
+
+// If(data[pc] < gr) continue;
+mov pc asr
+mov pm hr; mov pm ar
+sub gr
+brn @INSERTION_SORT_LOOP_BOTTOM
+
+// Insert and shift here
+mov gr pm
+
+// Just shift all the elements
+$INSERTION_SHIFT_LOOP
+bls @INSERTION_SORT_END_NOT_BIGGEST
+incpc
+mov pc asr
+mov pm gr
+mov hr pm
+mov gr hr; declc
+bra @INSERTION_SHIFT_LOOP
+
+
+$INSERTION_SORT_LOOP_BOTTOM
+declc; bra @INSERTION_SORT_LOOP_START
+
+
+// Jump here if gr wasn't inserted into list
+$INSERTION_SORT_END_BIGGEST
+incpc
+mov pc asr
+mov gr pm
+
+// Jump here if we already inserted gr into list
+$INSERTION_SORT_END_NOT_BIGGEST
+
+//// ---- LOOP BOTTOM ---- ////
+// Check if we should continue
+mov ir pc
+incpc
+mov pc ar
+sub 0
+brz @BUCKET_SORT_END
+bra @BUCKET_SORT_START
+$BUCKET_SORT_END
+
+halt
diff --git a/bucksort.cpp b/bucksort.cpp
index bbe9198..f707c11 100644
--- a/bucksort.cpp
+++ b/bucksort.cpp
@@ -13,6 +13,62 @@ bool LT(int a, int b)
 	return a < b;
 }
 
+// Bucket/Insertion sort (except final merge). C-style pseudocode
+void bi_sort(short *data){
+    short *buckets;
+    short pc_, ir_, ar, gr, hr, lc_, ir_;
+
+    for(pc_ = 0xE0; pc_ != 0; ++pc_){
+        // Fetch and hash
+        ar = data[pc_];
+        gr = data[pc_];
+        
+        ar = ar >> 9;
+        ar = ar & 0b1111000;
+        hr = ar;
+
+        ar = buckets[ar];    // Index 0 is pointer to end of array
+        
+        ++ar;
+        buckets[hr] = ar;    // Increment pointer (since we're inserting a new value)
+        --ar;
+
+        ir_ = pc_;           // Push pc
+        pc_ = ar;            // Copy start index to pc (for fast indexing)
+        ar = ar - hr;        // Compute length
+
+        lc_ = ar;            // Loop AR-times
+
+        --lc_;
+
+        while(lc_ != 0){
+            ++pc_;
+            hr = data[pc_];
+            if(hr > gr){
+                data[pc_] = gr;
+                // Insert here
+                while(lc_ != 0){
+                    ++pc_;
+                    gr = data[pc_];
+                    data[pc_] = hr;
+                    hr = gr;
+                    --lc_;
+                }
+
+                goto END;
+            }
+            --lc_;
+        }
+
+        ++pc_;
+
+        data[pc_] = gr;      // GR was the biggest. Insert it at the end
+
+END:
+        pc_ = ir_;           // Pop pc
+    }
+}
+
 void sort(short *data, int length)
 {
 	short buckets[BUCKETS][BUCKET_SIZE] = {};