These two functions are almost identical, the difference between them is that do() doesn't check %INC to see if the file has already been loaded. It reloads unconditionally every time the file.