Yalo_test_YALO.Test_YALO_33_need_labels
val f1 : int -> int -> int
val f2 : int -> int -> int -> int
val f3 : int -> int -> int -> int -> int