var srcIndex = new Map(JSON.parse('[\
["add",["",[],["add.rs"]]],\
["fib",["",[],["fib.rs"]]],\
["juicebox_asm",["",[["insn",[],["add.rs","call.rs","cmovnz.rs","cmovz.rs","cmp.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","nop.rs","pop.rs","push.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();