C Language Development Kit/Functions/SetTerminalId

Description	setterminalid sets the id of the terminal. This can also be done in the system menu, but this function can be used to set the id in the program. The id can be read with the function getterminalid().
Syntax	void setterminalid(unsigned int id);
Arguments	unsigned int id The new value for the terminal id. The value must be smaller then 10000.
Returns	None
Remarks	To read the terminal id, use the function getterminalid(). Passing a value of 10000 or larger will result in undefined behavior. How to activate the system menu can be read here.
Example	#include "lib.h" #include <stdio.h> void main( void ) { setterminalid( 1234 ); printf("\fterminal ID\n%d", getterminalid() ); while( 1 ) idle(); }