Things that we currently know in C