Native extension: Device token for push notifications (iOS)

Hello!

Have anyone seen a native extension that simply returns the device token on iOS?

After reading Apple's documentation, all I think I need is the device token to perform simple push notifications on iOS. Please correct me if I'm wrong.

http://developer.apple.com/library/ios/#documentation/NetworkingInternet/Conceptual/Remote NotificationsPG/ApplePushService/ApplePushService.html

My AIR-app would send the device token to the server, which stores it. When something happens on the server, the server will assemble the notification, including the device token, and send it to APNS, which then notifies the user.

Sounds pretty straight forward to me... if I just had the device token.

/anders