Change notation for pointer and add exception code