thomas: memory-management* + memory-safety* + assert* + c*