This paper supplies a design and implementation exploration for contracts on function pointers and member function pointers.