E.g. domain mismatch, bad FFI call, etc. We could embed this information at compile-time by serializing the SourceLocation object.