module "default-vcn" {