stride specialization can handle function calls