DAFS: variable declarations in C must be a top of block