Adding bare-bones read-char builtin