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