MiniC functions are defined by their name, their arguments and return type, and of course by their body statement. The body statement should always terminate with a return expression. MiniC functions can call other functions, but not themselves (also not via other functions). This restriction ensures statically bounded memory for function calls.