Coverage test on default values for nonexistent keys