PORTS (Cornell implementation)
