Use cast() to perform pointer casts (#6)

Use cast() to perform pointer casts (#6) #29