#0  LOCK_fini (status_vector=0xbf8eb034, owner_offset=0xbf8eb084) at ../src/lock/lock.cpp:648
	offset = 11588
	owner = (own *) 0x2d44
#1  0x0804b0dd in main (argc=<value optimized out>, argv=) at ../src/lock/manager.cpp:74
	status_vector = {134673232, 0, -1210519152, 134770124, -1208025888, -1081167768, 
  134572023, 134570992, 0, 134770660, -1209051268, -12, 134525222, -1081167752, 134673701, 
  -1209599479, 134770124, -1081167736, 134522820, -16121856}
	owner_handle = 11588
#2  0xb7d77450 in __libc_start_main () from /lib/tls/i686/cmov/libc.so.6
#3  0x0804afd1 in _start ()