This function should be at the top of the `initialization` section