Added a python script implementing #11956