using proper call_instructions_path