checked function call arguments