How about using `&buffer[0]`? I don't like using casts if it is unnecessary...