public static void setCurrentErrorPort( bgldynamic env, output_port o ) { env.current_error_port = o; }