address 0x1 {

// Check that we provide good error messages for non-ASCII characters.
module Temp {
   ф
}

}