made sure that std namespace is used for cout