Add json-format to personal defuns