// Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU. GPLv2. @@ expression s; @@ s = sockfd_lookup(...) ... + sockfd_put(s); ?- fput(s->file);