Default interface synthesis