add basic12 basic13 stdlib01 and fix basic08