Synthetic benchmark for def()