more docs for function pointer casts