--- 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)