completed programs extracted from !11#34

parno merged 1 commit intosecure-foundations:mainsecure-foundations/human-eval-verus:mainfrom

edwin1729:reviewededwin1729/human-eval-verus:reviewedCopy head branch name to clipboard