The Mug runtime requires additional external functions that I think will exercise the runtime system capabilities from #1, e.g., `memcpy`.