Better printing of the fetch instruction, crashes