Implementing select_instructions for the len function suggests using sarq and andq. However, when using run-tests to check the implementation, it will error because these instructions are not covered by the emulator. Neither in the eval_x86, nor the parser_x86.