type-safety
12