This is a function only for test purpose, i.e. to dump a vector for debugging.