To compile if-statements HareC generates some labels, recursively compiles the condition & branches upon it, generates the true branch with a label, outputs a jump past the false branch if it expects control-flow to reach here, outputs the false branch with a label, & outputs an end-label.

The length() builtin evaluates & deconstructs the given slice to return the length property.

The error-propagation error operator is lowered during typecheck.

5/5 For this morning!