Finalisation in presence of unsynced primitives
If unsynced primitives are used, the program should be forced to end with a synchronization barrier.
If unsynced primitives are used, the program should be forced to end with a synchronization barrier.