Programming Abstractions In C