add read_builtin