Symbol: smt_add_frame_len