Minimal Semantics C door Emma Borg