import 0x0.LibraCoin;

main() {

    // This will fail because the sender is not 0x0
    LibraCoin.initialize();

    return;
}

// check: VMExecutionFailure