*best-effort translation, may be some mistakes, input...