[Tachyon-list] Computing address of a label