intel64: implement print()