C code: hard tabs