table t : { A : int }