while (n--) seq_printf(seq, " "); 
while (n--) seq_printf(seq, " "); 
static void putspace_seq(struct seq_file *seq, int n){	while (n--) seq_printf(seq, " ");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91b9a277fc4d207249e459a455abf804ebb5499d/fib_trie.c/buggy/net/ipv4/fib_trie.c