TODO: val_at( ptr + ... )