--- /dev/null
+--- bash-5.1/examples/loadables/push.c~ 2020-04-20 22:07:01.000000000 +0200
++++ bash-5.1/examples/loadables/push.c 2020-12-08 08:54:19.318948703 +0100
+@@ -36,7 +36,7 @@ extern int errno;
+ #endif
+
+ extern pid_t dollar_dollar_pid;
+-extern int last_command_exit_value;
++extern volatile int last_command_exit_value;
+
+ int
+ push_builtin (list)