C nested code seems to "freeze" await statements

[AnnyCaroline]

This code only prints "1"

#include "wclock.ceu"

_Serial.begin(9600);
_Serial.println("1\n");
await 1s;
_Serial.println("2\n");
await FOREVER;

Without the C nested code, it prints "1" and "2"

#include "wclock.ceu"

//{int x = 1;}

_Serial.begin(9600);
_Serial.println("1\n");
await 1s;
_Serial.println("2\n");
await FOREVER;

Note: I'm using CEU_DEFS = -DCEU_PM_MIN at Makefile.conf

[AnnyCaroline]

Using the USART driver (instead of Arduino Serial), the error still occurs:

#include "wclock.ceu"
#include "usart.ceu"
#include "string.ceu"

{int x = 1;}

spawn USART_Init(9600);

var[3] byte str1;
call String_Append_STR(&str1, "1");
await USART_Tx(&str1); //freezes here

await 1s;

var[3] byte str2;
call String_Append_STR(&str2, "2");//freezes here
await USART_Tx(&str2);

await FOREVER;

Removing the C nested code seems to solve the problem.