inlined getter & setter