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