Specialise thread_static() a little bit: improves performance for
threading the static object list.