public static void setCurrentInputPort( bgldynamic env, input_port o ) { env.current_input_port= o; }