Static_type_checking loading ...