Double Colon operator

[gregvaughn]

It looks like that is binary pattern matching, so the value after the double colon specifies the size of the value before it.