Trying some extra printf formats