(Ffetch_bytecode): Check the type of the object being read from the file.