((((http)tcp)ip4)ethernet)