@ An empty port
port Empty()