
	void print_number( int32 data0 )
	{
	}
	void print_string( [int8*?] s )
	{
		
	}

	//ò
	void set_baud( int32 t_baud )
	{
		
	}
	public void OS_run()
	{
		//OS_EventFlag.0(bit) = 1;
	}
	
	

