public static void setCurrentOutputPort( bgldynamic env, output_port o ) { env.current_output_port = o; }