Forty-Bot

import core.stdc.stdio : stderr;
import std.bitmanip;
import std.algorithm.comparison;
import std.algorithm.iteration;
import std.math;
import std.range;
import std.random;
import std.stdio;

immutable int CUBE_SIZE = 360;

Forty-Bot

/* Compile with ldc -O2 -ffast-math -mcpu=native cube.d */ 

import core.stdc.stdio : stderr;
import std.bitmanip;
import std.algorithm.comparison;
import std.algorithm.iteration;
import std.math;
import std.range;
import std.random;
import std.stdio;

Forty-Bot

{-# OPTIONS --without-K --exact-split --safe #-}

Rel : Set -> Set1
Rel A = A -> A -> Set

-- Some properties
record Reflexive {A : Set} (R : Rel A) : Set where
    field refl : (a : A) -> (R a a)

record Symmetric {A : Set} (R : Rel A) : Set where

Forty-Bot

{-# OPTIONS --without-K --exact-split --safe #-}

Rel : Set -> Set1
Rel A = A -> A -> Set

-- Some properties
record Reflexive {A : Set} (R : Rel A) : Set where
    field refl : (a : A) -> (R a a)

record Symmetric {A : Set} (R : Rel A) : Set where

Forty-Bot

#
# Automatically generated make config: don't edit
# Version: 0.9.33
# Thu Sep 19 13:50:52 2019
#
# TARGET_alpha is not set
# TARGET_arm is not set
# TARGET_avr32 is not set
# TARGET_bfin is not set
# TARGET_cris is not set

Forty-Bot

  CC ldso/ldso/ldso.oS

Forty-Bot

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/9.1.0/lto-wrapper
  CC ldso/ldso/ldso.oS
Using built-in specs.
COLLECT_GCC=gcc
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib --disable-werror --enable-checking=release --enable-default-pie --enable-default-ssp --enable-cet=auto
Thread model: posix
gcc version 9.1.0 (GCC) 

Forty-Bot

{-# OPTIONS --without-K --exact-split --safe #-}

Rel : Set -> Set1
Rel A = A -> A -> Set

-- Some properties
record Reflexive {A : Set} (R : Rel A) : Set where
    field refl : (a : A) -> (R a a)

record Symmetric {A : Set} (R : Rel A) : Set where

Forty-Bot

mount -t tmpfs upper /mnt
mkdir /mnt/{upper,work,newroot}
mount -t overlay overlay -o lowerdir=/,upperdir=/mnt/upper,workdir=/mnt/work /mnt/newroot
cd /mnt/newroot
pivot_root . mnt
# exec chroot . bash
# bash: /mnt/chroot: No such file or directory
# exec /mnt/bin/chroot . bash
# /mnt/bin/chroot: error while loading shared libraries: libc.so.6: cannot open shared object file: No such file or directory
# exec /mnt/bin/busybox chroot . bash

Forty-Bot

# mnt/bin/busybox mount
/dev/root on /mnt type hostfs (ro,relatime)
devtmpfs on /mnt/dev type devtmpfs (rw,relatime,mode=755)
upper on /mnt/mnt type tmpfs (rw,relatime)
overlay on / type overlay (rw,relatime,lowerdir=/,upperdir=/mnt/upper,workdir=/mnt/work)
proc on /proc type proc (rw,relatime)