[chrisseaton]

Where are you seeing that? The pointer in that example doesn't have a hardcoded size.

[needusername]

u64 in the annotation value

Check out this document http://cr.openjdk.java.net/~mcimadamore/panama/panama-binder... for the syntax.