#include <stdio.h>

int main()
{
EXEC SQL SELECT b'00';
	return 0;
}