Interpreter support for primitive calls with strategy arguments