fp/secd: SECD machine draft