Task: Investigate whether ta.c should verify exact input structure sizes

[riwoh]

Goal

Task: Investigate whether ta.c should check for the exact size on input structures as opposed to just verifying that they're not going to buffer overrun.

Notes (Optional)

No response