use 4[256]: ...