Describing lazy function pointer resolution