Bug encoding