Compile-time assertion of sizeof(type) in C