char read() {
	builtin( "read" );
	}

void print( []char s; ) {
	builtin( "print", s );
	}

void println( []char s; ) {
	builtin( "println", s );
	}

char chr( int value; ) {
	builtin( "chr", value );
	}

int ord( char value; ) {
	builtin( "ord", value );
	}