Symbol: to_xlog