Submitted by Yaoyu Zhao 2 LACUNA: Safe Agents as Recursive Program Holes Programming Methods Laboratory 7 2