Symbol: impn_sqr_n_basecase