@exported def index(inp: bytes, idx: i32) -> i32: return inp[idx]