Set up for debugging k=9