And, just to correct a couple of earlier posts, without naming names.
HMRC do not get "first dibs" on any remaining funds. This has not been the case since 2002.
HMRC are now grouped with all other 'unsecured creditors'.
For fuller details see 'Begbies Traynor' - Who gets paid first?