verification (version 1.42)

verify-internal: Verification internal and secondary functions

Description

internal and secondary functions.