forgot to add cflush in header