Text this: Management of choledocholithiasis in an infant