as is currently
when *assumptions* has effect only at compile time