restprint32