[BUG #7244] satisfy api-verify