This speaks personally to me: I work on an alternate compiler for a language whose specification is “whatever the main interpreter does” and this leads to some weird, unwieldy semantic edge-cases.