lazy make
# Description Fixes #11755: `lazy make` also allows duplicate record keys
def-env
export def-env