No one’s following hel_mul yet