Replaced incorrectly removed Once_function_marker