# This should fail

s : socket_type;

open( s -- this should fail