Synthetic working in benc