var srcIndex = JSON.parse('{\
"juicebox_asm":["",[["insn",[],["add.rs","call.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","nop.rs","ret.rs","test.rs"]]],["imm.rs","insn.rs","label.rs","lib.rs","prelude.rs","reg.rs","rt.rs"]]\
}');
createSrcSidebar();