node 'h1.pdp7.net' {
}