Symbolic Access to I/O Channels