The Dark Basic Professional / Dark GDK source code is public, it has been open-source for a while. You can access it here:
http://code.google.com/p/darkbasicpro/
It is possible to browse the code right on the site if you click Source and Browse, although it's very slow, and you can also do a search for a function. If you install a Subversion client, you can download a snapshot of the whole thing. I have a snapshot from last September, not much different from the current one, I think, so I can easily search in place on my hard disk. Most of the interesing code is in the "shared" subdirectory, since DB Pro and Dark GDK have a common code base. Some people even tweaked and recompiled the libraries for themselves, I haven't got as far yet, but it's possible, since it's open source.
To find this function, I checked which other functions are called by the different versions of "dbSetObjectFrame". As far as I've noticed, usually the "db" functions are wrappers to other functions and it's the other one (or even the third one) that does the business. So I checked also the executing functions related to animaton frames, and there it was. Since Pauli was so sure that it works, I made a bit more effort to find it.
By the way I'm a woman but it doesn't matter.
I'm glad when I can help, and I also learn more about Dark GDK in the process.