Programming the Be Operating System: Writing Programs for the Be Operating System