Deported variable initialization after the cdef block to allow verifications.