// S : tags   pointers min sym  $TAGS
// S : expect --result valid
// S : cc     -o test.bc  $CC_OPT $file
// S : verify -o nofail:malloc --lamp pointers --symbolic --leakcheck exit $V_OPT test.bc

#include <cstdlib>

extern "C" void * __lamp_lift_objid( void * p );

int main() {
  int * ptr = (int *)( __lamp_lift_objid( malloc( sizeof( int ) ) ) );
  free( ptr );
}