true: \
  package(menhirSdk), \
  safe_string, \
  warn(A)
