printinstr -> printasm