Symbol: print_statelog