`pure`, `nothrow`, safety, etc...