Ultrasound-guided ventricular puncture during cranioplasty.