Built-in things in Python[format]

Signed-off-by: apporc <appleorchard2000@gmail.com>