portals-defs.tcl