Example program:

---
extern(C) void main(double[] foo) @safe
{
    import std.stdio;
    writeln(foo); // undefined behavior
}
---

To avoid this, the compiler should check the signature of a @safe extern(C) main function for conformance to the C standard.