a = <precomputed_value>;