@shell alias hello = run hello.dby
@shell alias tools = ls
@shell alias check-hello = check hello.dby
@shell alias hexdump = run hexdump.dby
@shell alias bininfo = run bininfo.dby
@shell alias find-bytes = run find_bytes.dby
@shell alias patch-bytes = run patch_bytes.dby
@shell alias u32-table = run read_u32_table.dby

let personal_boot: int = 41

pub fn inc(x: int) -> int:
    return x + 1
