Report question

Question: Enforce strong type checking in C (type strictness for typedefs)