Printing loaded definitions as source code
