Magic Typechecks for C