NAT

This is a NAT written by me and Prof. Foster, but mostly Prof. Foster.