Describir: A Laboratory Manual for Compiler Operating System Implementation