TCL Command IFC

For explanation, see Input of IFC name.