Autogen at_pos
Autogen zero and ident constructors