Symbol: mdoc_va_pre