label-mapping: Automate a proof of valid_extra.
label-mapping: Automate a proof of valid_extra.

agacek/camkes-tool,smaccm/camkes-tool,agacek/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool,agacek/camkes-tool