with-profiling-raw macro from acl2