address 0x42 {
module M {
    friend 0x42::Nonexistent;
}
}