/* 
    TODO: Definitions for printing. 
*/