SymbolicC tiene la capacidad de expresar todas las contrucciones de programación C. Lo siguiente genera un prototipo de función y luego la define.