Objfile printing