update synthesize D with annotation