Function builtin is no longer an arg to readcmd