Local arguments

Actually, I'd need to cast