remember: C params are typed