{ ... }: { users = [ "alice" "dennis" "richie" ]; }