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