Symbol: print_derives