Although loading this file will define the above
functions, we consider them 'uninitialized', because they will only be initialized
once a first dictionary has been created. This is visible in what follows. The
first time, make_dict
is created, the above functions are replaced
'by the real ones'.