Printing loaded definitions as source code