Some bytecode editing tools