automatically generated integer template -- don'

t have to write it by hand *highfive*