dvander@251: import shell;
dvander@251: import shell;
dvander@251: import shell;
dvander@251: 
dvander@251: public main()
dvander@251: {
dvander@251:     shell.PrintNum(5);
dvander@251:     shell.PrintString(" is ");
dvander@251:     shell.PrintFloat(5.0);
dvander@251: }
dvander@251: