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