A few simple character parsers