module not_real {
  header "not_real.h"
  export *
  explicit module from_second_vfs { }
}