/* Spin Hello World model */

active proctype main()
{
	printf("Hello World!\n")
}
