proof_icefree_little_16