At some point, a developer had leaked the source code. Moreover, some leaked prototypes have debug symbols.