Support HOT; --output-file