format code; use then chain in example/mysql