Reintrocuced args and function specs