add _EXT for custom PUSH arg names