# Terminates the MPI execution environment
	fun finalize `{ MPI_Finalize(); `}