[workspace] members = ["stack-program", "heap-program"]