added wrapper function for HaltWinter