int zext_ (unsigned char *s)
{
	return (int) *s;
}