verification (version 1.44)

verify-internal: Verification internal and secondary functions

Description

internal and secondary functions.