arg verification for sys calls