<commit_before>#include <cpj.h>
#include <stdlib.h>

extern
     int REF(V = sz2)
        * START NONNULL SIZE(4 * sz1) ARRAY
     mallocFloatMatrix (size_t REF(V > 0) sz1, size_t REF(V > 0) sz2)
  OKEXTERN;

void
normal_exec (int                              nfeatures,
             int * ARRAY START feature)
{
    return;
}

void main(void)
{
  int nfeatures = nondetpos();
  int npoints   = nondetpos();
  int* feature  = mallocFloatMatrix(npoints, nfeatures);

  normal_exec(nfeatures, feature);

  return;
}<commit_msg>further tweaks<commit_after>#include <liquidc.h>

extern int REF(V = z) * NONNULL START ROOM_FOR(int) mallocAndSet (int z) OKEXTERN;

void foo (int y, int *q) {
    lcc_assert (*q == y);
}

void main(void) {
  int x  = nondetpos ();
  int *p = mallocAndSet (x);

  foo (x, p);
}
{'fraction_non_alphanumeric': 0.12826899128268993, 'fraction_numerical': 0.008717310087173101, 'mean_word_length': 2.9029126213592233, 'pattern_counts': {'":': 0, '<': 6, '<?xml version=': 0, '>': 8, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4918465', 'n_tokens_mistral': 328, 'n_tokens_neox': 302, 'n_words': 82}