makeSetAt is generated too