Type-in_programs loading ...