Debugging, domain records, example