crash in execute_rare_bytecode()