1 files changed, 3 insertions, 0 deletions
diff --git a/src/ninep/pane.zig b/src/ninep/pane.zig
index 929a298a..9f85a75f 100644
--- a/src/ninep/pane.zig
+++ b/src/ninep/pane.zig
@@ -281,6 +281,7 @@ pub fn fileSize(p: *Pardes, id: usize, f: PaneFile) u64 {
         .pty_status => pty.status_len,
         .pty_ctl => pty_ctl: {
             var buf: [32]u8 = undefined;
+            // unreachable: two u16s and 9 bytes fit 32
             break :pty_ctl (std.fmt.bufPrint(&buf, "winsize {d} {d}\n", .{ pane.cols, pane.rows }) catch unreachable).len;
         },
         .pty_data => if (pf.pty_out.peek()) |chunk| chunk.len else 0,
@@ -304,9 +305,11 @@ pub fn indexLen(p: *Pardes) u64 {
         last = serial;
         const pane = p.panes[p.paneBySerial(serial).?].?;
         var digits: [16]u8 = undefined;
+        // unreachable: a u32 serial is at most 10 digits
         n += (std.fmt.bufPrint(&digits, "{d}", .{serial}) catch unreachable).len;
         var name_buf: [4 * 4096]u8 = undefined;
         n += 1 + kindOf(pane).len + 3 + events.shown(nameOf(pane), &name_buf).len + 1;
+        // unreachable: a column index is under 16 digits
         n += 1 + (std.fmt.bufPrint(&digits, "{d}", .{columnOf(p, p.paneBySerial(serial).?)}) catch unreachable).len;
     }
     return n;