⟨15von Kerman⟩ E:activate.
SET DVE TO 0.
WAIT 0.
SET T0 TO T.
UNTIL DVE>DVM {
 SET A TO E:THRUST/MASS.
 WAIT 0.
 SET DVE TO DVE+A*(T-T0).
 SET T0 TO T.
}
E:shutdown.