Adding patSucc, bitSucc - running on k3