5.3 KASEN的编程模型