Checked C types for typedefs

[aaronjeline]

Consider the following typedef struct { int a; } *V;

int main(int argc, char **argv) { V v; v = malloc(sizeof(V)); v->a = 3; printf("%d\n", v->a); free(v); return 0; }

What is the checked-c equivalent?