Default_user ZeroF_cksGiven