assembly not directly to executable elf but first linkable elf (object file) -- sections instead of segments

phase 1

Aback header files (.ab) equivalent to C header files so that external code can be type-checked and C functions can be called from Aback)

func is_prime?
    int -> bool
end

phase 2

transpiration from Aback to C headers (.abh -> .h) and vice versa so that there is no disparity between them

aback trans primes.h primes.abh

int is_prime(int);
// invalid characters are skipped
// types are cast to nearest equivalent type (no bools in c)